# SPDX-License-Identifier: GPL-2.0

# Branch profiling isn't noinstr-safe.  Disable it for arch/x86/*
subdir-ccflags-$(CONFIG_TRACE_BRANCH_PROFILING) += -DDISABLE_BRANCH_PROFILING

obj-$(CONFIG_ARCH_HAS_CC_PLATFORM) += coco/

obj-y += entry/

obj-$(CONFIG_PERF_EVENTS) += events/

obj-$(CONFIG_KVM) += kvm/

# Xen paravirtualization support
obj-$(CONFIG_XEN) += xen/

obj-$(CONFIG_PVH) += platform/pvh/

# Hyper-V paravirtualization support
obj-$(subst m,y,$(CONFIG_HYPERV)) += hyperv/

obj-y += realmode/
obj-y += kernel/
obj-y += mm/

obj-y += crypto/

obj-$(CONFIG_IA32_EMULATION) += ia32/

obj-y += platform/
obj-y += net/

obj-$(CONFIG_KEXEC_FILE) += purgatory/

obj-y += virt/

# for cleaning
subdir- += boot tools
